Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
691	To Receive a BS Degree in Both Computer Engineering and Computer Science A dual degree in Computer Engineering and Computer Science can be received by takingcredit-hours of additional coursework, provided one car Add to Reading List Source URL: ece.mst.edu Language: English - Date: 2014-11-18 15:35:20 Course Curricula Cmp
692	Variables Derived from the Student Questionnaire Population 3 User Guide for the TIMSS International Database Add to Reading List Source URL: pirls.bc.edu Language: English - Date: 2000-03-08 10:34:52 Software engineering Computer programming Type theory Computing Source code Educational research Trends in International Mathematics and Science Study Variable C++ classes Final HindleyMilner type system Subroutine
693	Design and scaling of monocentric multiscale imagers Eric J. Tremblay,1,3,* Daniel L. Marks,2 David J. Brady,2 and Joseph E. Ford1 1 Department of Electrical & Computer Engineering, University of California San Diego, 95 Add to Reading List Source URL: psilab.ucsd.edu Language: English - Date: 2013-05-28 15:09:30 Optics Science of photography Lenses Geometrical optics Telescopes Eyepiece Vignetting Objective Angle of view Afocal system Aperture Focal length
694	Can simple Natural Language Generation improve Intelligent Tutoring Systems? Barbara Di Eugenio and Michael J. Trolio Electrical Engineering and Computer Science Department University of Illinois at Chicago 1120 SEO (M/C Add to Reading List Source URL: nlp.cs.uic.edu Language: English - Date: 2013-03-02 15:00:28 Computational linguistics Software engineering Programming language theory Computing Natural language processing Educational psychology Educational technology Intelligent tutoring system The Diag Aggregation IBM Basic assembly language and successors ALGOL 68
695	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
696	Ira KemelmacherShlizerman updated: March 28, 2016 CONTACT Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-14 13:48:15 IEEE conferences Computer science Science and technology Electrical engineering International Conference on Computer Vision European Conference on Computer Vision Conference on Computer Vision and Pattern Recognition Computer vision SIGGRAPH Association for Computing Machinery Computer graphics Pushmeet Kohli
697	Computational Science and Engineering (Int. Master’s Program) ¨ Technische Universit¨at Munchen Master’s Thesis Add to Reading List Source URL: www5.in.tum.de Language: English Computing Computer architecture Graphics hardware Parallel computing Computational fluid dynamics Software GPGPU Computational science General-purpose computing on graphics processing units Lattice Boltzmann methods GPU cluster LBM
698	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking
699	Runtime Checking of Datatype Signatures in MPI⋆ William D. Gropp Mathematics and Computer Science Division Argonne National Laboratory Argonne, Illinois 60439 Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Computer programming Computing Parallel computing Software engineering Application programming interfaces Message Passing Interface Type theory C++ C++ classes Type signature MPI Hash function
700	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz II Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Computing Network protocols Email Hypertext Transfer Protocol Server Proxy server

UPDATE